1. Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings
پدیدآورنده : Rajeev Gore, Alexander Leitsch, Tobias Nipkow )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
2083
2. Computational logic and proof theory : 5th Kurt Godel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997 : proceedings
پدیدآورنده : Georg Gottlob, Alexander Leitsch, Daniele Mundici )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1289
3. Methods of Cut-Elimination
پدیدآورنده : / Matthias Baaz, Alexander Leitsch
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Automatic theorem proving,Proof theory,اثبات قضیه ماشینی,اثبات نظریه
رده :
QA76
,.
9
.
A96
,
B33
2011
4. The Resolution Calculus
پدیدآورنده : / Alexander Leitsch
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Calculus.
رده :
QA300
.
L3C2
5. The Resolution calculus
پدیدآورنده : Leitsch, Alexander
کتابخانه: (خراسان الجنوبیة)
موضوع : ، Calculus
رده :
QA
303
.
L45
R4
6. The resolution calculus
پدیدآورنده : Alexander Leitsch.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Auflösungsprinzip,Automatic theorem proving.,Automatisches Beweisverfahren
رده :
QA76
.
9
.
A96
A449
1997
7. The resolution calculus
پدیدآورنده : / Alexander Leitsch
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Calculus
رده :
QA
303
.
L55
1997
